On reductive and distributive algebras
نویسنده
چکیده
The paper investigates idempotent, reductive, and distributive groupoids, and more generally Ω-algebras of any type including the structure of such groupoids as reducts. In particular, any such algebra can be built up from algebras with a left zero groupoid operation. It is also shown that any two varieties of left k-step reductive Ω-algebras, and of right n-step reductive Ω-algebras, are independent for any positive integers k and n. This gives a structural description of algebras in the join of these two varieties.
منابع مشابه
A new approach to characterization of MV-algebras
By considering the notion of MV-algebras, we recall some results on enumeration of MV-algebras and wecarry out a study on characterization of MV-algebras of orders $2$, $3$, $4$, $5$, $6$ and $7$. We obtain that there is one non-isomorphic MV-algebra of orders $2$, $3$, $5$ and $7$ and two non-isomorphic MV-algebras of orders $4$ and $6$.
متن کاملOn Heyting algebras and dual BCK-algebras
A Heyting algebra is a distributive lattice with implication and a dual $BCK$-algebra is an algebraic system having as models logical systems equipped with implication. The aim of this paper is to investigate the relation of Heyting algebras between dual $BCK$-algebras. We define notions of $i$-invariant and $m$-invariant on dual $BCK$-semilattices and prove that a Heyting semilattice is equiva...
متن کاملCommutative pseudo BE-algebras
The aim of this paper is to introduce the notion of commutative pseudo BE-algebras and investigate their properties.We generalize some results proved by A. Walendziak for the case of commutative BE-algebras.We prove that the class of commutative pseudo BE-algebras is equivalent to the class of commutative pseudo BCK-algebras. Based on this result, all results holding for commutative pseudo BCK-...
متن کاملProfinite Heyting Algebras and Profinite Completions of Heyting Algebras
This paper surveys recent developments in the theory of profinite Heyting algebras (resp. bounded distributive lattices, Boolean algebras) and profinite completions of Heyting algebras (resp. bounded distributive lattices, Boolean algebras). The new contributions include a necessary and sufficient condition for a profinite Heyting algebra (resp. bounded distributive lattice) to be isomorphic to...
متن کاملOn (finite) distributive lattices with antitone involutions
Some well-known algebras of logic or other algebraic models of non-classical reasoning, such as MV-algebras or orthomodular lattices, can be regarded as lattices with antitone involutions, i.e., bounded lattices with the property that all principal filters (or ideals) are equipped with antitone involutions. This simple observation is behind the so-called “basic algebras” that were introduced in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010